Concolic testing - PDFSEARCH.IO - Document Search Engine

Concolic testing
Results: 54

#	Item
31	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
32	AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Software testing Logic in computer science Automated theorem proving Concolic testing Symbolic execution Buffer overflow Predicate transformer semantics Precondition Theoretical computer science Software bugs Mathematics
33	AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: security.ece.cmu.edu Language: English - Date: 2011-05-02 14:34:52 Software engineering Software testing Logic in computer science Automated theorem proving Concolic testing Symbolic execution Buffer overflow Predicate transformer semantics Precondition Theoretical computer science Software bugs Mathematics
34	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-03-17 11:29:44 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
35	Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2012-09-22 22:22:15 Theoretical computer science Automated theorem proving Concolic testing Symbolic execution KeY Parallel computing X86 Type system Algorithm Data types Formal methods Computing
36	Unleashing Mayhem on Binary Code Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Automated theorem proving Concolic testing Symbolic execution KeY X86 Parallel computing Function Type system Mathematics Computing Data types
37	Loop-Extended Symbolic Execution on Binary Programs Prateek Saxena Pongsin Poosankam† Stephen McCamant Dawn Song University of California, Berkeley and † Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Computer programming Symbolic execution Concolic testing Buffer overflow Algorithm Infinite loop Function Stack Dependence analysis Software bugs Software engineering Computing
38	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-03-17 03:36:49 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
39	Unleashing M AYHEM on Binary Code Sang Kil Cha, Thanassis Avgerinos, Alexandre Rebert and David Brumley Carnegie Mellon University Pittsburgh, PA {sangkilc, thanassis, alexandre.rebert, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-02-15 14:07:11 Theoretical computer science Automated theorem proving Concolic testing Symbolic execution KeY Parallel computing X86 Type system Algorithm Data types Formal methods Computing
40	Automated Whitebox Fuzz Testing Patrice Godefroid Microsoft (Research) [removed] Michael Y. Levin Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-01-04 20:00:25 Declarative programming Formal methods Fuzz testing Symbolic execution KeY Constraint satisfaction problem Concolic testing Test Data Generation Software testing Constraint programming Software engineering

UPDATE